Examples of proof.sty

1 draws beautiful proof figures easily:

(1)

#math8#

#tex2html_wrap_indisplay103#A#tex2html_wrap_indisplay104#BB11 B12 B13 ;SPMamp; B21 B22 B23 ;SPMamp; C

(2)

#math9#

#tex2html_wrap_indisplay106#A1 A2 A3 A4 A5 A6#tex2html_wrap_indisplay107#BB11 B12 B13 ;SPMamp; B21 B22 B23 ;SPMamp; C

(3)

#math10#

#tex2html_wrap_indisplay109#A1 A2 A3 A4 A5 A6C ;SPMamp; #tex2html_wrap_indisplay110#BB11 B12 B13 ;SPMamp; B21 B22 B23

You can use also some variations:

(4)

#math11#

#tex2html_wrap_indisplay112#[(1)]A#tex2html_wrap_indisplay113#*BB11 B12 B13 ;SPMamp; B21 B22 B23 ;SPMamp; C

(5)

#math12#

#tex2html_wrap_indisplay115#*[(1)]A1 A2 A3 A4 A5 A6#tex2html_wrap_indisplay116#[#tex2html_wrap_indisplay117#]BB11 B12 B13 ;SPMamp; B21 B22 B23 ;SPMamp; #tex2html_wrap_indisplay118#C(2)

Here are more practical examples:

(6)

#math13#

#tex2html_wrap_indisplay120#[( I)]A BA ;SPMamp; B;SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;#tex2html_wrap_indisplay121#[( El)]AA B;SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;#tex2html_wrap_indisplay122#[( Er)]BA B

#math14#

#tex2html_wrap_indisplay124#[(→I)]A→B#tex2html_wrap_indisplay125#*B[A];SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;#tex2html_wrap_indisplay126#[(→E)]BA→B ;SPMamp; A

Some techniques: Use 2 for an equation of proofs.

(7)

#math15#

π = #tex2html_wrap_indisplay128##tex2html_wrap_indisplay129#EA ;SPMamp; #tex2html_wrap_indisplay130#DB ;SPMamp; C

Use 3 to adjust the form of a proof.

(8)

#math16#

#tex2html_wrap_indisplay132#EA ;SPMamp; #tex2html_wrap_indisplay133#DB ;SPMamp; C